Mine surveying